1. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures
Author: Gilles Barthe...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
2395
2. Construction and analysis of safe, secure, and interoperable smart devices :
Author: / Gilles Barthe ... [et al.] (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Smart cards , Security measures , Congresses,Data transmission systems , Security measures , Congresses
Classification :
E-BOOK
3. Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers
Author: Gilles Barthe...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Security measures -- Congresses ، Smart cards,Security measures -- Congresses ، Data transmission systems
Classification :
QA
76
.
L28
Vol
.
3362
